<body>
Implementations of clausal contraints.

Implementation for both counter based and watched literals is provided.
Specific implementation for binary and ternary clauses proposed by 
Lawrence Ryan are available as well.
</body>